Experiments in Computational Metaphysics: Gödel’s Proof of God’s Existence
نویسنده
چکیده
“Computer scientists prove the existence of God” --variants of this headline appeared in the international press in autumn 2013. Unfortunately, many media reports had only moderate success in communicating to the wider public what had actually been achieved and what not. This article outlines the main findings of the authors’ joint work in computational metaphysics. More precisely, the article focuses on their computer-supported analysis of variants and recent emendations of Kurt Gödel’s modern ontological argument for the existence of God. In the conducted experiments, automated theorem provers discovered some interesting and relevant facts.
منابع مشابه
Mulla Sadra’s Theory of Substantial Motion[1]
Mohammad Javad Rezaei* Mahdi Dasht Bozorgi** One of the most important philosophical theories of Mulla Sadra is substantial motion, which has greatly influenced other philosophical discussions. In this article, first we refer to the historical background of the theory before Mulla Sadra, namely in Peripatetic Philosophy, and then deal with Mulla Sadra’s innovations, such as ...
متن کامل$L^p$-existence of mild solutions of fractional differential equations in Banach space
We study the existence of mild solutions for semilinear fractional differential equations with nonlocal initial conditions in $L^p([0,1],E)$, where $E$ is a separable Banach space. The main ingredients used in the proof of our results are measure of noncompactness, Darbo and Schauder fixed point theorems. Finally, an application is proved to illustrate the results of this work.
متن کاملAutomating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers
Kurt Gödel’s ontological argument for God’s existence has been formalized and automated on a computer with higher-order automated theorem provers. From Gödel’s premises, the computer proved: necessarily, there exists God. On the other hand, the theorem provers have also confirmed prominent criticism on Gödel’s ontological argument, and they found some new results about it. The background theory...
متن کاملIs the Ontological Proof for God’s Existence an Ontological Proof for God’s Existence?
Two questions concerning Anselm of Canterbury’s theistic argument provided in Proslogion Ch. 2 are asked and answered: is the argument valid? under what conditions could it be sound? In order to answer the questions the argument is formalized as a first-order theory called AP2. The argument turns out to be valid, although it contains a hidden premise. The argument is also claimed not to be onto...
متن کاملAn Information-Theoretic Proof of God’s Existence
It’s good to be back at the Abbey after all these years. The last time was in 1996, when I was finishing my seminary studies at Princeton. Since then my 20, 25, and 30 reunions have taken place. I wanted to be at all of them, but work and family obligations didn’t allow it. I’ve spoken here once before, in 1988, as part of the Dom. Luke Childs Lecture Series. It was a happy encounter. My topic ...
متن کامل